Concurrent algorithm

Results: 314



#Item
41Scal: A Benchmarking Suite for Concurrent Data Structures Andreas Haas, Thomas H¨ utter, Christoph M. Kirsch, Michael Lippautz, Mario Preishuber, and Ana Sokolova University of Salzburg

Scal: A Benchmarking Suite for Concurrent Data Structures Andreas Haas, Thomas H¨ utter, Christoph M. Kirsch, Michael Lippautz, Mario Preishuber, and Ana Sokolova University of Salzburg

Add to Reading List

Source URL: www.cs.uni-salzburg.at

Language: English
42A Construction of Write-Back Caches with Nave Ike Antkare International Institute of Technology United Slates of Earth

A Construction of Write-Back Caches with Nave Ike Antkare International Institute of Technology United Slates of Earth

Add to Reading List

Source URL: membres-lig.imag.fr

Language: English - Date: 2014-01-09 04:24:28
43Concur: An Algorithm for Merging Concurrent Changes without Conflicts James Smith   arXiv:1303.7462v5 [cs.DS] 20 Feb 2016

Concur: An Algorithm for Merging Concurrent Changes without Conflicts James Smith arXiv:1303.7462v5 [cs.DS] 20 Feb 2016

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2016-02-22 23:50:11
    44On Data Skewness, Stragglers, and MapReduce Progress Indicators Emilio Coppa and Irene Finocchi Another example: MatMul - a sparse matrix multiplication library

    On Data Skewness, Stragglers, and MapReduce Progress Indicators Emilio Coppa and Irene Finocchi Another example: MatMul - a sparse matrix multiplication library

    Add to Reading List

    Source URL: acmsocc.github.io

    Language: English - Date: 2016-02-21 03:10:51
    45MACHINE-ASSISTED CONCURRENT PROGRAMMING Martin Vechev ETH Zürich (joint work with Eran Yahav, Greta Yorsh, Michael Kuperstein, Nayden Nedev, Nedyalko Prisadnikov, Veselyn Raychev)

    MACHINE-ASSISTED CONCURRENT PROGRAMMING Martin Vechev ETH Zürich (joint work with Eran Yahav, Greta Yorsh, Michael Kuperstein, Nayden Nedev, Nedyalko Prisadnikov, Veselyn Raychev)

    Add to Reading List

    Source URL: www.srl.inf.ethz.ch

    Language: English
    46Biomanycores, a repository of interoperable open-source code for many-cores bioinformatics Jean-St´ephane Varr´e St´ephane Janot

    Biomanycores, a repository of interoperable open-source code for many-cores bioinformatics Jean-St´ephane Varr´e St´ephane Janot

    Add to Reading List

    Source URL: www.open-bio.org

    Language: English - Date: 2016-02-19 00:12:14
    47Appears in the proceedings of the 34th International Symposium on Microarchitecture (MICRO), Dec. 3-Dec. 5, 2001, Austin, Texas.  Speculative Lock Elision: Enabling Highly Concurrent Multithreaded Execution Ravi Rajwar a

    Appears in the proceedings of the 34th International Symposium on Microarchitecture (MICRO), Dec. 3-Dec. 5, 2001, Austin, Texas. Speculative Lock Elision: Enabling Highly Concurrent Multithreaded Execution Ravi Rajwar a

    Add to Reading List

    Source URL: pages.cs.wisc.edu

    Language: English - Date: 2001-10-10 12:33:46
    48Strategy Improvement for Concurrent Reachability and Safety Games ∗ ,† ,‡ Krishnendu Chatterjee† Luca de Alfaro§

    Strategy Improvement for Concurrent Reachability and Safety Games ∗ ,† ,‡ Krishnendu Chatterjee† Luca de Alfaro§

    Add to Reading List

    Source URL: pub.ist.ac.at

    Language: English - Date: 2012-01-22 05:31:56
    49The Raft Consensus Algorithm Diego Ongaro and John Ousterhout November 2015 

    The Raft Consensus Algorithm Diego Ongaro and John Ousterhout November 2015 

    Add to Reading List

    Source URL: raft.github.io

    Language: English - Date: 2016-04-05 21:41:08
    50AUTOPROBE: Towards Automatic Active Malicious Server Probing Using Dynamic Binary Analysis Zhaoyan Xu Antonio Nappa

    AUTOPROBE: Towards Automatic Active Malicious Server Probing Using Dynamic Binary Analysis Zhaoyan Xu Antonio Nappa

    Add to Reading List

    Source URL: faculty.cs.tamu.edu

    Language: English - Date: 2014-09-29 02:03:52